1. Constraint Databases
پدیدآورنده : edited by Gabriel Kuper, Leonid Libkin, Jan Paredaens.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Database management.
رده :
QA76
.
9
.
C67
E358
2000
2. Database theory--ICDT 2005 : 10th International Conference, Edinburgh, UK, January 5-7, 2005 : proceedings
پدیدآورنده : Thomas Eiter, Leonid Libkin )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Database management
رده :
QA
76
.
L28
Vol
.
3363
3. Database theory: ICDT 2005: 10th international conference, Edinburgh, UK, January 5-7, 2005: proceedings
پدیدآورنده : Thomas Eiter, Leonid Libkin ]eds.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Database management
رده :
QA
76
.
9
.
D3
I557
2005
4. Elements of Finite Model Theory
پدیدآورنده : libkin ,leonid
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Model Theory
رده :
EBOOK
,
QA
L53
9
.
7
5. Elements of finite model theory
پدیدآورنده : Libkin, Leonid.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Model theory
رده :
QA
9
.
7
.
L53
2004
6. Elements of finite model theory
پدیدآورنده : by Leonid Libkin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Model theory.
رده :
QA9
.
7
B954
2011
7. Foundations of data exchange /
پدیدآورنده : Marcelo Arenas (Pontificia Universidad Católica de Chile), Pablo Barceló (Universidad de Chile), Leonid Libkin (University of Edinburgh), Filip Murlak (Uniwersytet Warszawski, Poland).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Data transmission systems.,Datenaustausch.,Datenmanagement.,Relationales Datenbanksystem.,XML.
8. In Search of Elegance in the Theory and Practice of Computation
پدیدآورنده : / Chiew Tan, Michael Fourman-Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
9. Logic, Language, Information, and Computation
پدیدآورنده : / Leonid Libkin, Ulrich Kohlenbach, Ruy Queiroz
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
10. Logic, language, information, and computation :
پدیدآورنده : Leonid Libkin, Ulrich Kohlenbach, Ruy Queiroz (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer logic, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
W67
2013
11. Relational and XML Data Exchange
پدیدآورنده : / Marcelo Arenas, Pablo Barcelo, Leonid Libkin, Filip Murlak, M. Tamer Ozsu
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
12. Semantics in databases
پدیدآورنده : Bernhard Thalheim, Leonid Libkin )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Database management,، Database design
رده :
QA
76
.
L28
Vol
.
1358
